[IA64] cleanup: VTLB_PTE_IO_BIT is not used
authorIsaku Yamahata <yamahata@valinux.co.jp>
Mon, 12 May 2008 02:24:47 +0000 (11:24 +0900)
committerIsaku Yamahata <yamahata@valinux.co.jp>
Mon, 12 May 2008 02:24:47 +0000 (11:24 +0900)
VTLB_PTE_IO_BIT is not used any more.

Signed-off-by: Kouya Shimura <kouya@jp.fujitsu.com>
xen/arch/ia64/vmx/vmmu.c
xen/include/asm-ia64/vmmu.h

index 4fb9593c055704ad0c01dbae3e97dca71c8341df..4e1497514b0782174bc32696269f15674f6ab3cd 100644 (file)
@@ -282,7 +282,7 @@ IA64FAULT vmx_vcpu_itr_d(VCPU *vcpu, u64 slot, u64 pte, u64 itir, u64 ifa)
 #ifdef VTLB_DEBUG
     int index;
 #endif    
-    u64 gpfn, gpte;
+    u64 gpfn;
     u64 ps, va, rid;
     thash_data_t * p_dtr;
 
@@ -313,9 +313,6 @@ IA64FAULT vmx_vcpu_itr_d(VCPU *vcpu, u64 slot, u64 pte, u64 itir, u64 ifa)
     if (ps != _PAGE_SIZE_16M)
         thash_purge_entries(vcpu, va, ps);
     gpfn = (pte & _PAGE_PPN_MASK)>> PAGE_SHIFT;
-    gpte = lookup_domain_mpa(vcpu->domain, gpfn, NULL);
-    if (gpte & _PAGE_IO)
-        pte |= VTLB_PTE_IO;
     vcpu_get_rr(vcpu, va, &rid);
     rid &= RR_RID_MASK;
     p_dtr = (thash_data_t *)&vcpu->arch.dtrs[slot];
index 90d06c90b8f6e469067c767f66903c17e65cefa6..31eb76e11570a6c623a859efcc051fd203498334 100644 (file)
@@ -46,8 +46,6 @@ enum {
 #endif /* __ASSEMBLY__ */
 
 #define VTLB_PTE_P_BIT      0
-#define VTLB_PTE_IO_BIT     60
-#define VTLB_PTE_IO         (1UL<<VTLB_PTE_IO_BIT)
 #define VTLB_PTE_P         (1UL<<VTLB_PTE_P_BIT)
 
 #define ITIR_RV_MASK            (((1UL<<32)-1)<<32 | 0x3)